机译:并行程序验证的新有效Petri网减少
机译:基于Petri网的并行控制器设计的高效功能验证算法
机译:使用遗传算法(GA)和彩色定时Petri网(CTPN)对通用生产调度系统的基于优化的调度生成器进行建模
机译:使用有色Petri网验证并行算法和程序
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:利用着色petri网和具有对称性的出现图的Lamport快速互斥算法的计算机辅助验证